Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org¡8h
🎞ī¸Tape Combinatorics
Superimposed codes, take three
blog.sesse.net¡4h
đŸ”ĸBitwise Algorithms
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com¡11h¡
Discuss: Hacker News
🧮Constraint SMT
Symbolic-numeric programming in scientific computing
dspace.mit.edu¡8h
đŸ§ŦFunctional Programming
Polar Coding and Linear Decoding
arxiv.org¡1d
ℹī¸Information Theory
Extensions and Shadows (8)
sites.psu.edu¡1d
🧮Kolmogorov Bounds
The Performance of Low-Synchronization Variants of Reorthogonalized Block Classical Gram--Schmidt
arxiv.org¡8h
🌊Stream Ciphers
I Made AI Personas Watch (and React to) the Astronomer Ad
askrally.com¡19h¡
Discuss: Hacker News
🗜ī¸LZW Variants
Practical Implementation of Encoder–Decoder Architecture
adaline.ai¡20h¡
Discuss: Hacker News
🚀SIMD Text Processing
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun¡16h¡
Discuss: Hacker News
🧮Theorem Proving
Embeddings & Cosine Similarity Explained Simply
dev.to¡1d¡
Discuss: DEV
📐Vector Similarity
original ↗
johndcook.com¡1d
📐Error Bounds
The Hidden World of Coordinates
youtube.com¡23h
🕸ī¸Algebraic Topology
The Kepler Problem (Part 7)
johncarlosbaez.wordpress.com¡1d
⚛ī¸Quantum Codes
Spiral Matrix: Another Matrix Layer Problem
mmhaskell.com¡2d
🔗Combinatory Logic
Adaptive Learned Belief Propagation for Decoding Error-Correcting Codes
arxiv.org¡1d
🧮Kolmogorov Complexity
Overarch – model your software system as data
github.com¡2d¡
Discuss: Hacker News
📋Format Specification
Structured Parsing Is the Key to Making LLMs Work on Large Codebases
hackernoon.com¡17h
đŸŒŗIncremental Parsing
Deep Polynomial Chaos Expansion
arxiv.org¡8h
🔲Cellular Automata
Dual Cross-image Semantic Consistency with Self-aware Pseudo Labeling for Semi-supervised Medical Image Segmentation
arxiv.org¡8h
🌀Riemannian Computing